home *** CD-ROM | disk | FTP | other *** search
/ Developer CD Series 1996 May: Tool Chest / Developer CD Series May 1996 (Tool Chest) (Apple Computer) (1996).iso / Tool Chest / Development Tools & Languages / Macintosh Common Lisp Related / AI FAQ 13Sept94 / 1. General Questions next >
Encoding:
Internet Message Format  |  1994-09-15  |  37.4 KB  |  [TEXT/ttxt]
  1. Subject: FAQ: Artificial Intelligence Questions & Answers 1/6 [Monthly posting]
  2. Newsgroups: comp.ai,news.answers,comp.answers
  3. Summary: Frequently asked questions about AI
  4. Distribution: world
  5. Followup-To: poster
  6. Reply-To: mkant+ai-faq@cs.cmu.edu
  7. Organization: School of Computer Science, Carnegie Mellon University
  8. Approved: news-answers-request@MIT.Edu
  9.  
  10. Archive-name: ai-faq/general/part1
  11. Last-Modified: Wed Sep 14 16:33:57 1994 by Mark Kantrowitz
  12. Version: 1.24
  13. Maintainer: Mark Kantrowitz <mkant+ai-faq@cs.cmu.edu>
  14. URL: http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/ai/ai_general/top.html
  15. Size: 38310 bytes, 1010 lines
  16.  
  17. ;;; ****************************************************************
  18. ;;; Answers to Questions about Artificial Intelligence *************
  19. ;;; ****************************************************************
  20. ;;; Written by Mark Kantrowitz
  21. ;;; ai_1.faq 
  22.  
  23. If you think of questions that are appropriate for this FAQ, or would
  24. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  25.  
  26. *** Copyright:
  27.  
  28. Copyright (c) 1992-94 by Mark Kantrowitz. All rights reserved.
  29.  
  30. This FAQ may be freely redistributed in its entirety without
  31. modification provided that this copyright notice is not removed.  It
  32. may not be sold for profit or incorporated in commercial documents
  33. (e.g., published for sale on CD-ROM, floppy disks, books, magazines,
  34. or other print form) without the prior written permission of the
  35. copyright holder.  Permission is expressly granted for this document
  36. to be made available for file transfer from installations offering
  37. unrestricted anonymous file transfer on the Internet.
  38.  
  39. This article is provided AS IS without any express or implied warranty.
  40.  
  41. *** Topics Covered:
  42.  
  43. Part 1:
  44.   [1-0]  What is the purpose of this newsgroup?
  45.   [1-1]  History of AI?
  46.   [1-2]  Glossary of AI terms.
  47.   [1-3]  What are the top schools in AI?
  48.   [1-4]  How can I get the email address for Joe or Jill Researcher?
  49.   [1-5]  What are the rules for the game of "Life"?
  50.   [1-6]  What AI competitions exist?
  51.   [1-7]  Commercial AI products.
  52.   [1-8]  AI Job Postings
  53.  
  54. Part 2 (AI-related Newsgroups and Mailing Lists):
  55.   List of all known AI-related newsgroups, mailing lists, and
  56.   electronic bulletin board systems.
  57.  
  58. Part 3 (AI-related Associations and Journals):
  59.   List of AI-related associations and journals, organized by subfield.
  60.  
  61. Part 4 (Bibliography):
  62.   -  Bibliography of introductory texts, overviews and references
  63.   -  Addresses and phone numbers for major AI publishers
  64.   -  Finding conference proceedings
  65.   -  Finding PhD dissertations
  66.  
  67. Part 5 (FTP Resources):
  68.   [5-0]  General Information about FTP Resources for AI
  69.   [5-1]  FTP Repositories
  70.   [5-2a] FTP and Other Resources: Agents -- Planning
  71.  
  72.   Note: Question [5-2] (FTP and Other Resources) is split across parts 5 and 6.
  73.  
  74. Part 6 (FTP Resources):
  75.   [5-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving
  76.   [6-1]  AI Bibliographies available by FTP
  77.   [6-2]  AI Technical Reports available by FTP
  78.   [6-3]  Where can I get a machine readable dictionary, thesaurus, and
  79.          other text corpora?
  80.   [6-4]  List of Smalltalk implementations.
  81.   [6-5]  AI-related CD-ROMs
  82.   [6-6]  World-Wide Web (WWW) Resources
  83.  
  84. Search for [#] to get to question number # quickly.
  85.  
  86. *** Recent changes:
  87.  
  88. ;;; 1.22
  89. ;;; 14-JUL-94 mk    Updated DTP entry in part 6.
  90. ;;; 20-JUL-94 mk    Added PTF AI CD-ROM entry to [6-5].
  91. ;;; 21-JUL-94 mk    Morgan Kaufmann Publishers has moved. Updated
  92. ;;;                 their entry in Part 4.
  93. ;;; 12-AUG-94 mk    Added [1-8] AI Job Postings
  94. ;;;
  95. ;;; 1.23
  96. ;;; 16-AUG-94 mk    Corrected WWW general AI page in [6-6].
  97. ;;; 24-AUG-94 mk    Various updates to WWW resources in [6-6].
  98. ;;; 24-AUG-94 mk    Added AI-NAT mailing list to part 2.
  99. ;;; 24-AUG-94 mk    Added comp.ai.alife to part 2.
  100. ;;; 24-AUG-94 mk    Added ANT to [5-2a] under Genetic Algorithms.
  101. ;;; 24-AUG-94 mk    Added AsTeR to list of web resources (speech) in [6-6].
  102. ;;; 25-AUG-94 mk    New LISTPROC for fuzzy-mail list in part 2.
  103. ;;; 25-AUG-94 mk    Added AI-PREDOC and AI-POSTDOC lists to [1-8].
  104. ;;; 30-AUG-94 mk    Added many AI Organizations to part 3. (Specificly, AI
  105. ;;;                 Organizations in a particular country.)
  106. ;;; 31-AUG-94 mk    Added pointer to online History of AI timeline in [1-1].
  107. ;;; 31-AUG-94 mk    Added review of Pratt's AI Intro to part 4.
  108. ;;;
  109. ;;; 1.24:
  110. ;;; 14-SEP-94 mk    Updated IDEAL entry in [5-2a].
  111.  
  112. *** Introduction:
  113.  
  114. Certain questions and topics come up frequently in the various network
  115. discussion groups devoted to and related to Artificial Intelligence
  116. (AI).  This file/article is an attempt to gather these questions and
  117. their answers into a convenient reference for AI researchers. It is
  118. posted on a monthly basis. The hope is that this will cut down on the
  119. user time and network bandwidth used to post, read and respond to the
  120. same questions over and over, as well as providing education by
  121. answering questions some readers may not even have thought to ask.
  122.  
  123. The latest version of this FAQ is available via anonymous FTP from 
  124.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/  [128.2.206.173]
  125. using username "anonymous" and password "name@host" (substitute your
  126. email address) or via AFS in the Andrew File System directory
  127.    /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/ai/
  128. as the files ai_1.faq, ai_2.faq, ai_3.faq, ai_4.faq, ai_5.faq and ai_6.faq.
  129.  
  130. You can also obtain a copy of the FAQ by sending a message to
  131. ai+query@cs.cmu.edu with 
  132.    Send AI FAQ
  133. in the message body.
  134.  
  135. The FAQ postings are also archived in the periodic posting archive on
  136.    rtfm.mit.edu:/pub/usenet/news.answers/ai-faq/ [18.181.0.24]
  137. If you do not have anonymous ftp access, you can access the archive by
  138. mail server as well.  Send an E-mail message to mail-server@rtfm.mit.edu
  139. with "help" and "index" in the body on separate lines for more
  140. information.
  141.  
  142. An automatically generated HTML version of the AI FAQ is accessible by
  143. WWW as part of the AI-related FAQs Mosaic page. The URL for this
  144. resource is
  145.    http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/top.html
  146. The direct URL for the AI FAQ is
  147.    http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/ai/ai_general/top.html
  148.  
  149. If you need to cite the FAQ for some reason, use the following format:
  150.    Mark Kantrowitz, "Answers to Frequently Asked Questions about
  151.    Artificial Intelligence", comp.ai, <month>, <year>,
  152.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/ai_?.faq, mkant+ai-faq@cs.cmu.edu.
  153.  
  154. ----------------------------------------------------------------
  155. Subject: [1-0] What is the purpose of this newsgroup?
  156.  
  157. The newsgroup comp.ai exists for general discussion of topics related
  158. to Artificial Intelligence. For example, possible topics can
  159. include (but are not necessarily limited to):
  160.    announcements of AI books and products
  161.    discussion of AI programs and tools
  162.    questions about AI techniques
  163.    problems implementing an AI technique
  164. Postings should be of general interest to the AI community. See also
  165. part 2 of the FAQ for a list of other more specialized discussion lists.
  166.  
  167. Every so often, somebody posts an inflammatory message, such as
  168.    Will computers every really think?
  169.    AI hasn't done anything worthwhile.
  170. These "religious" issues serve no real purpose other than to waste
  171. bandwidth. If you feel the urge to respond to such a post, please do
  172. so through a private e-mail message, or post redirecting follow-ups to
  173. comp.ai.philosophy.  
  174.  
  175. We've tried to minimize the overlap with the FAQ postings to the
  176. comp.lang.lisp, comp.lang.prolog, comp.ai.neural-nets, and
  177. comp.ai.shells newsgroups, so if you don't find what you're looking
  178. for here, we suggest you try the FAQs for those newsgroups. These FAQs
  179. should be available by anonymous ftp in subdirectories of
  180.    rtfm.mit.edu:/pub/usenet/
  181. or by sending a mail message to mail-server@rtfm.mit.edu with subject "help".
  182.  
  183. The Lisp FAQ is also available by anonymous ftp from the same ftp
  184. location as the AI FAQ and from ftp.think.com:/public/think/lisp/.
  185. The Expert Systems Shells FAQ is also available by anonymous ftp from
  186. the same ftp location as the AI FAQ. 
  187.  
  188. Information about Prolog may be obtained from two sources: The Prolog
  189. FAQ, which is posted twice a month to the newsgroup comp.lang.prolog
  190. by Jamie Andrews <jamie@cs.sfu.ca>, and the Prolog Resource Guide,
  191. which is posted to the newsgroup comp.lang.prolog once a month, and is
  192. available by anonymous FTP from 
  193.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/prolog/ [128.2.206.173] 
  194. or in the AFS directory 
  195.    /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/prolog/
  196. as the files prg_1.faq and prg_2.faq.
  197.  
  198. The Robotics FAQ is available by anonymous ftp from 
  199.    ftp.cs.cmu.edu:/user/nivek/robotics-faq/ [128.2.206.173]
  200. as the files part1 and part2. To obtain a copy by email, send a message to 
  201. mail-server@rtfm.mit.edu containing the following lines:
  202.    send usenet/news.answers/robotics-faq/part1
  203.    send usenet/news.answers/robotics-faq/part2
  204. On UUCP, it is available at 
  205.    uunet!/archive/usenet/news.answers/robotics-faq/ 
  206. as the files part1.Z and part2.Z, or by ftp from 
  207.    ftp.uu.net:/archive/usenet/news.answers/robotics-faq/ [137.39.1.9]
  208.  
  209. Information about object-oriented programming can be obtained in the
  210. newsgroups comp.object, comp.lang.clos, and comp.lang.smalltalk.
  211. Information about object-oriented databases can be obtained in the
  212. survey compiled by Stewart Clamen, which may be found either in the
  213. comp.object FAQ posting or in 
  214.    byron.sp.cs.cmu.edu:/usr/anon/clamen/evolution-summary
  215.  
  216. The Neurosciences Internet Resource Guide is available by 
  217. anonymous ftp from
  218.    una.hh.lib.umich.edu:/inetdirsstacks/neurosci:cormbonario
  219. and by WWW from
  220.    gopher://una.hh.lib.umich.edu/00/inetdirsstacks/neurosci:cormbonario
  221. in text (ascii) form. A hypertext version of the guide suitable for
  222. viewing using Mosaic is available from
  223.    http://http2.sils.umich.edu/Public/nirg/nirg1.html
  224. For more information, contact Steve Bonario and Sheryl Cormicle
  225. <nirg@umich.edu>. 
  226.  
  227. ----------------------------------------------------------------
  228. Subject: [1-1] History of AI?
  229.  
  230. For an online timeline of artificial intelligence milestones, see
  231.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/timeline.txt
  232.  
  233. The appendix to Ray Kurzweil's book "Intelligent Machines" (MIT Press,
  234. 1990, ISBN 0-262-11121-7, $39.95) gives a timeline of the history of AI.
  235.  
  236. Pamela McCorduck, "Machines Who Think", Freeman, San Francisco, CA, 1979.
  237.  
  238. Allen Newell, "Intellectual Issues in the History of Artificial
  239. Intelligence", Technical Report CMU-CS-82-142, Carnegie Mellon
  240. University Computer Science Department, October 28, 1982.
  241.  
  242. See also:
  243.  
  244.    Charniak and McDermott's book "Introduction to Artificial Intelligence",
  245.    Addison-Wesley, 1985 contains a number of historical pointers.
  246.  
  247.    Daniel Crevier, "AI: The Tumultuous History of the Search for
  248.    Artificial Intelligence", Basic Books, New York, 1993.
  249.  
  250.    Henry C. Mishkoff, "Understanding Artificial Intelligence", 1st edition,
  251.    Howard W. Sams & Co., Indianapolis, IN, 1985, 258 pages, 
  252.    ISBN 0-67227-021-8 $14.95.
  253.  
  254.    Margaret A. Boden, "Artificial Intelligence and Natural Man", 2nd edition,
  255.    Basic Books, New York, 1987, 576 pages.
  256.  
  257. ----------------------------------------------------------------
  258. Subject: [1-2] Glossary of AI terms.
  259.  
  260. This is the start of a simple glossary of short definitions for AI terminology.
  261.  
  262.    Strong AI:           
  263.         Claim that computers can be made to actually think, just like human
  264.         beings do. More precisely, the claim that there exists a class of
  265.         computer programs, such that any implementation of such a program is
  266.         really thinking.
  267.  
  268.    Weak AI:             
  269.         Claim that computers are important tools in the modeling and
  270.         simulation of human activity.
  271.  
  272.    Case-based Reasoning: 
  273.         Technique whereby "cases" similar to the current problem are
  274.         retrieved and their "solutions" modified to work on the current
  275.         problem. 
  276.  
  277.    Nonlinear Planning:
  278.         A planning paradigm which does not enforce a total (linear)
  279.         ordering on the components of a plan.
  280.  
  281.    Admissibility:
  282.         An admissible search algorithm is one that is guaranteed to
  283.         find an optimal path from the start node to a goal node, if
  284.         one exists. In A* search, an admissible heuristic is one that never
  285.         overestimates the distance remaining from the current node to
  286.         the goal. 
  287.  
  288.    Fuzzy Logic:
  289.         In Fuzzy Logic, truth values are real values in the closed
  290.         interval [0..1]. The definitions of the boolean operators are
  291.         extended to fit this continuous domain. By avoiding discrete
  292.         truth-values, Fuzzy Logic avoids some of the problems inherent in
  293.         either-or judgments and yields natural interpretations of utterances
  294.         like "very hot". Fuzzy Logic has applications in control theory.
  295.  
  296.    Verification:
  297.         The process of confirming that an implemented model works as intended.
  298.  
  299.    Validation:
  300.         The process of confirming that one's model uses measureable inputs
  301.         and produces output that can be used to make decisions about the
  302.         real world.
  303.  
  304. ----------------------------------------------------------------
  305. Subject: [1-3] What are the top schools in AI?
  306.  
  307. The answer to this question is not intended to be a ranking and should
  308. not be interpreted as such. There are several major problems with
  309. ratings like the Gourman Report and the US News and World Report. Such
  310. rankings are often unsubstantiated and anecdotal, their accuracy is
  311. questionable, and they do not focus on the subfields of an area. When
  312. selecting a graduate school, students should look for schools which
  313. not only have excellent programs in their general area of research
  314. but also at least one faculty member whose research interests mesh
  315. well with the student's. Accordingly, we've broken down this list
  316. according to topic, and sorted the schools within each topic in
  317. ALPHABETICAL ORDER. 
  318.  
  319. For a school to be added to a topic area, there should at least two
  320. faculty actively conducting research in that area and the school
  321. should have a "good" reputation in that area. Exceptions are made for
  322. schools which only have one faculty member in the area, but that
  323. professor is a "leader" of the area, or for fields where the total
  324. number of people working in the area is small in the first place. The
  325. general idea behind these criteria is to ensure that a school has
  326. enough activity in the area that a student who considers one of these
  327. schools won't be disappointed if one of the faculty in that area is on
  328. sabbatical or isn't taking students. Note that the research need not
  329. be conducted in the school's computer science department for the
  330. school to be listed -- in some cases we've included schools where the
  331. research is being conducted in a different department or special laboratory.
  332.  
  333. The best way for students to discover which schools are good in a
  334. field is to ask professors (and graduate students) in their
  335. undergraduate school for suggestions on where to apply. Reading the
  336. research journals in the field is another good method (see part 3 of
  337. the FAQ).
  338.  
  339. A genealogy of AI thesis-advising relationships is available by
  340. anonymous ftp as 
  341.    cs.ucsd.edu:/pub/rik/aigen.rpt
  342. Although intended to complement citation analysis and free-text
  343. information retrieval as tools for understanding the AI community and
  344. their connections to other disciplines, it may be useful to
  345. prospective graduate students. For example, it may help you understand
  346. the historical context of a given professor's perspective.  2,600 MS
  347. and PhD theses have been tabulated so far.  If you'd like to
  348. contribute additional listings (including year, title, abstract,
  349. school, advisor, committee members, and subsequent employment), write
  350. to Rik Belew <rik@cs.ucsd.edu> or fax 619-534-7029, for the
  351. questionnaire. A copy of the questionaire and more information is
  352. available in 
  353.    cs.ucsd.edu:/pub/rik/announce.t
  354.  
  355. A list of email addresses for CS departments is posted once a month to
  356. the newsgroup soc.college.gradinfo.
  357.  
  358. The Association for Computational Linguistics publishes a directory of
  359. graduate programs in Computational Linguistics ($15 for members, $30
  360. for others). It includes several useful indices (e.g., index of
  361. faculty and a list of references). Contact Association for
  362. Computational Linguistics, Walker, C. N. 925, Bernardsville, NJ
  363. 07924-0925, phone/fax 908-204-1337, or send email to acl@bellcore.com.
  364.  
  365. NOTE THAT THIS LIST IS PRELIMINARY AND BY NO MEANS COMPLETE.
  366.  
  367. Please feel free to suggest schools that are particularly strong in
  368. any of these areas, or to suggest new areas to be listed.
  369.  
  370. Schools with excellent programs in most fields:
  371.    Carnegie Mellon University (CMU)
  372.    MIT
  373.    Stanford
  374.  
  375.    Georgia Tech
  376.    Imperial College
  377.    Indiana
  378.    Institute for the Learning Sciences, Northwestern University (ILS) 
  379.    Maryland
  380.    Rutgers
  381.    SUNY/Buffalo
  382.    Toronto
  383.    UC/Berkeley
  384.    UCLA
  385.    Univ. of Edinburgh
  386.    Univ. of Illinois/Urbana-Champaign (UIUC)
  387.    Univ. of Maryland/College Park
  388.    Univ. of Massachusetts/Amherst
  389.    Univ. of Michigan
  390.    Univ. of Pennsylvania
  391.    Univ. of Pittsburgh
  392.    Univ. of Rochester
  393.    Univ. of Southern California & USC/Information Sciences Institute
  394.    Univ. of Sussex, School of Cognitive and Computing Sciences
  395.    Univ. of Texas/Austin
  396.    Yale
  397.  
  398. Universities with 2 or more AAAI Fellows:
  399.  
  400.    Note: Some Fellows have changed their affiliation since being named,
  401.          so this list isn't completely accurate.
  402.  
  403.    12  MIT
  404.    11  Stanford University 
  405.    10  Carnegie Mellon University (CMU)
  406.     6  Univ. of Massachusetts
  407.     5  Univ. of Toronto
  408.     5  Univ. of Texas at Austin
  409.     5  Univ. of Pennsylvania
  410.     5  Rutgers 
  411.     3  Northwestern
  412.     3  UCLA
  413.     3  Univ. of Edinburgh 
  414.     3  Univ. of Illinois 
  415.     3  Univ. of Maryland
  416.     3  Univ. of Southern California (USC) 
  417.     3  USC/Information Sciences Institute 
  418.     2  Brown University
  419.     2  Duke University
  420.     2  Harvard 
  421.     2  Univ. of California, Berkeley 
  422.     2  Univ. of Pittsburgh
  423.     2  Univ. of Rochester 
  424.     2  Univ. of Sydney
  425.  
  426.    Universities with only one AAAI Fellow include: Columbia University,
  427.    George Mason, Georgia Tech, Imperial College, New Mexico State, Ohio
  428.    State, Oregon State University, Oxford, P. and M. Curie University,
  429.    SUNY/Binghamton, SUNY/Buffalo, Saint Joseph, San Jose State, Syracuse,
  430.    Tufts, UC Irvine, UC/Santa Cruz, UCSD, Univ. of Birmingham, Univ. of
  431.    British Columbia, Univ. of Cambridge, Univ. of Linkoeping, Univ. of
  432.    Marseille, Univ. of Minnesota, Univ. of Sussex, Wellesley, Yale
  433.  
  434.    The full list of AAAI Fellows and their affiliations is available
  435.    by anonymous ftp as
  436.        ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/aifellow.txt
  437.  
  438. AI and Manufacturing:
  439.    Carnegie Mellon University (CMU) -- CIMDS
  440.    Univ. of Maryland/College Park
  441.    Univ. of Toronto
  442.    
  443. AI and Medicine:
  444.    MIT
  445.    Stanford
  446.    Univ. of Pittsburgh
  447.  
  448. AI and Legal Reasoning:
  449.    Imperial College
  450.    Univ. of Massachusetts/Amherst
  451.  
  452. Artificial Life:
  453.    Santa Fe Institute (SFI)
  454.    UCLA
  455.    Univ. of Delaware
  456.    MIT (Brooks' mobots)
  457.    Univ. of Sussex, School of Cognitive and Computing Sciences
  458.  
  459. Automated Deduction/Theorem Proving:
  460.    Imperial College
  461.    Stanford
  462.    Univ. of Edinburgh
  463.    Univ. of Oregon
  464.    Univ. of Texas/Austin
  465.  
  466. Case-Based Reasoning/Analogical Reasoning:
  467.    Chicago
  468.    Georgia Tech
  469.    Institute for the Learning Sciences, Northwestern University (ILS) 
  470.    Univ. of Massachusetts/Amherst
  471.    Univ. of Pittsburgh
  472.  
  473. Cognitive Modelling:
  474.    Carnegie Mellon University (CMU)
  475.    Georgia Tech
  476.    Indiana
  477.    SUNY Buffalo
  478.    Univ. of Maryland/College Park
  479.    Univ. of Michigan
  480.  
  481. Cognitive Science:
  482.    Brown University
  483.    Carnegie Mellon University (CMU)
  484.    Georgia Tech
  485.    Indiana University/Bloomington
  486.    Johns Hopkins
  487.    MIT
  488.    Princeton
  489.    Rutgers
  490.    SUNY/Buffalo
  491.    Stanford
  492.    UC/Berkeley
  493.    UC/San Diego
  494.    Univ. of Colorado/Boulder
  495.    Univ. of Edinburgh
  496.    Univ. of Minnesota
  497.    Univ. of Pennsylvania
  498.    Univ. of Rochester
  499.    Univ. of Sussex, School of Cognitive and Computing Sciences
  500.  
  501. Connectionism/Neural Networks:
  502.    Boston University, Cognitive and Neural Systems Department (ART networks)
  503.    Brown University
  504.    CalTech 
  505.    Carnegie Mellon University (CMU) 
  506.    Indiana
  507.    MIT 
  508.    Ohio State Univ.
  509.    Stanford 
  510.    Syracuse University
  511.    Texas A&M
  512.    Toronto
  513.    UC/Berkeley
  514.    UC/Irvine
  515.    UC/San Diego
  516.    UCLA
  517.    UNC/Chapel Hill
  518.    Univ. of Colorado/Boulder
  519.    Univ. of Edinburgh
  520.    Univ. of Helsinki
  521.    Univ. of Maryland/College Park
  522.    Univ. of Massachusetts/Amherst
  523.    Univ. of Pennsylvania
  524.    Univ. of Southern California & USC/Information Sciences Institute
  525.    Univ. of Sussex, School of Cognitive and Computing Sciences
  526.    Univ. of Wisconsin
  527.  
  528. Decision Theory and AI:
  529.    Berkeley
  530.    MIT
  531.    Stanford
  532.    Univ. of Michigan
  533.    Univ. of Washington
  534.  
  535. Distributed AI:
  536.    Georgia Institute Of Technology
  537.    MIT
  538.    Nova Southeastern University
  539.    Stanford University
  540.    Univ. of Maryland
  541.    Univ. of Massachusetts/Amherst
  542.    Univ. of Michigan
  543.  
  544. Emotion:
  545.    Carnegie Mellon University
  546.    Institute for the Learning Sciences, Northwestern University (ILS) 
  547.  
  548. Fuzzy Logic:
  549.    Berkeley
  550.  
  551. Genetic Algorithms:
  552.    George Mason Univ.
  553.    Indiana
  554.    Stanford (Koza)
  555.    UC San Diego
  556.    UCLA
  557.    Univ. of Illinois/Urbana-Champaign (UIUC)
  558.    Univ. of Michigan
  559.    Univ. of Sussex, School of Cognitive and Computing Sciences
  560.  
  561. Integrated AI Architectures:
  562.    Carnegie Mellon University (CMU)
  563.    Stanford
  564.    Univ. of Michigan
  565.    Univ. of Sussex, School of Cognitive and Computing Sciences
  566.  
  567. Intelligent Tutoring, AI & Education:
  568.    Carnegie Mellon University (Cognitive Science Department)
  569.    Illinois Institute of Technology (IIT)
  570.    Institute for the Learning Sciences, Northwestern University (ILS) 
  571.    Univ. of Pittsburgh
  572.    Univ. of Sussex, School of Cognitive and Computing Sciences
  573.  
  574. Knowledge Representation:
  575.    Institute for the Learning Sciences, Northwestern University (ILS) 
  576.    Stanford
  577.    SUNY/Buffalo
  578.    Univ. of Maryland/College Park
  579.    Univ. of Oregon
  580.  
  581. Logic Programming and Logic-based AI:
  582.    Carnegie Mellon University (CMU)
  583.    Imperial College
  584.    Stanford
  585.    UCLA
  586.    Univ. of Edinburgh
  587.    Univ. of Maryland/College Park
  588.    Univ. of Melbourne
  589.    Univ. of Illinois/Urbana-Champaign (UIUC)
  590.    Univ. of Oregon
  591.    Univ. of Pennsylvania
  592.  
  593. Machine Discovery:
  594.    Carnegie Mellon University (CMU)
  595.  
  596. Machine Learning:
  597.    Brown University
  598.    Carnegie Mellon University (CMU)
  599.    George Mason
  600.    Georgia Tech
  601.    Johns Hopkins
  602.    MIT
  603.    UCI
  604.    Univ. of Massachusetts/Amherst
  605.    Univ. of Michigan
  606.    Univ. of Southern California & USC/Information Sciences Institute
  607.    Univ. of Texas/Austin
  608.    Univ. of Wisconsin
  609.  
  610. Natural Language Processing (NLU, NLG, Parsing, NLI, Speech):
  611.    Brown
  612.    Carnegie Mellon University (CMU)
  613.    Columbia
  614.    Georgia Tech
  615.    Illinois Institute of Technology (IIT)
  616.    Institute for the Learning Sciences, Northwestern University (ILS) 
  617.    ISI
  618.    Indiana
  619.    MIT
  620.    Penn
  621.    Rutgers
  622.    Stanford
  623.    SUNY/Buffalo
  624.    Toronto
  625.    UCLA
  626.    Univ. of Edinburgh 
  627.    Univ. of Maryland/College Park
  628.    Univ. of Massachusetts/Amherst
  629.    Univ. of Pittsburgh
  630.    Univ. of Rochester
  631.    Univ. of Southern California & USC/Information Sciences Institute
  632.    Univ. of Sussex, School of Cognitive and Computing Sciences
  633.    Waterloo (stylistics, MT, discourse)
  634.  
  635. Nonmonotonic Reasoning:
  636.    Imperial College
  637.    Stanford
  638.    UCLA
  639.    Univ. of Maryland/College Park
  640.    Univ. of Oregon
  641.    Toronto
  642.  
  643. Philosophy of AI:
  644.    Berkeley
  645.    MIT
  646.    SUNY Buffalo
  647.    Univ. of Maryland/College Park
  648.    Univ. of Sussex, School of Cognitive and Computing Sciences
  649.  
  650. Planning:
  651.    Brown University
  652.    Carnegie Mellon University (CMU)
  653.    Imperial College
  654.    MIT
  655.    Stanford
  656.    SUNY Buffalo
  657.    Univ. of Maryland/College Park
  658.    Univ. of Massachusetts/Amherst
  659.    Univ. of Oregon
  660.    Univ. of Pittsburgh
  661.    Univ. of Rochester
  662.    Univ. of Washington/Seattle
  663.    Waterloo 
  664.  
  665. Production Systems/Expert Systems:
  666.    Carnegie Mellon University (CMU)
  667.    Illinois Institute of Technology (IIT)
  668.    Stanford
  669.  
  670. Qualitative Physics and Model Based Reasoning:
  671.    Northwestern ILS (Forbus)
  672.    Univ. of Oregon
  673.    Univ. of Texas/Austin
  674.    Univ. of Washington
  675.  
  676. Reasoning Under Uncertainty (Probabilistic Reasoning, Approximate
  677. Reasoning, etc.): 
  678.    Brown University
  679.    George Mason
  680.    Oregon State University
  681.    Stanford
  682.    UCLA
  683.    Univ. of Maryland/College Park
  684.    Univ. of Rochester
  685.    University of South Carolina
  686.  
  687. Robotics:
  688.    Bristol Polytechnic, UK
  689.    Brown 
  690.    California Institute of Technology (Caltech)
  691.    Carnegie Mellon University (CMU)
  692.    Georgia Tech
  693.    Harvard
  694.    Hull University, UK
  695.    MIT
  696.    Naval Postgraduate School
  697.    New York University (NYU) Courant Institute of Mathematical Sciences
  698.    North Carolina State Univerisity/Raleigh (NCSU)
  699.    Oxford
  700.    Purdue
  701.    Reading University, UK
  702.    Rennsalear Polytechnic Institute (RPI)
  703.    Salford University, UK
  704.    Stanford
  705.    Swiss Federal Institute of Technology
  706.    UC/Berkeley
  707.    Univ. of Alberta
  708.    Univ. of Edinburgh
  709.    Univ. of Kansas
  710.    Univ. of Kentucky
  711.    Univ. of Maryland/College Park
  712.    Univ. of Massachusetts/Amherst
  713.    Univ. of Michigan
  714.    Univ. of Paris INRIA
  715.    Univ. of Pennsylvania
  716.    Univ. of Southern California & USC/Information Sciences Institute
  717.    Univ. of Utah
  718.    Univ. of Wisconsin
  719.    Yale 
  720.  
  721. Search:
  722.    UCLA
  723.    Univ. of Maryland/College Park
  724.    Univ. of Oregon
  725.  
  726. Temporal Reasoning:
  727.    Imperial College
  728.  
  729. Virtual Reality:
  730.    Carnegie Mellon University (CMU)
  731.    Cal Arts
  732.    Columbia
  733.    Florida Institute of Technology
  734.    MIT Media Lab
  735.    Naval Postgraduate School
  736.    Naval Research Lab
  737.    RPI
  738.    Stanford
  739.    Syracuse
  740.    Toronto
  741.    UIUC
  742.    Univ. of Alberta, Banff
  743.    Univ. of Central Florida
  744.    Univ. of Geneva
  745.    Univ. of North Carolina/Chapel Hill (UNC)
  746.    Univ. of Tokyo
  747.    Univ. of Virginia (UVA)
  748.    Univ. of Washington/Seattle -- HIT Lab
  749.  
  750. Vision:
  751.    Carnegie Mellon University (CMU)
  752.    Columbia
  753.    Johns Hopkins  
  754.    MIT
  755.    Oxford
  756.    SUNY/Buffalo
  757.    UCLA
  758.    Univ. of Edinburgh
  759.    Univ. of Maryland/College Park
  760.    Univ. of Massachusetts/Amherst
  761.    Univ. of Rochester
  762.    Univ. of Southern California & USC/Information Sciences Institute
  763.    Univ. of Sussex, School of Cognitive and Computing Sciences
  764.    Univ. of Wisconsin
  765.  
  766. ----------------------------------------------------------------
  767. Subject: [1-4] How can I get the email address for Joe or Jill Researcher?
  768.  
  769. The AAAI membership directory is updated annually and contains
  770. addresses, phone numbers, and email addresses for many members of AAAI
  771. and other AI societies. Contact info@aaai.org for information on
  772. getting a copy of the directory (you should get a free copy if you are
  773. a member of one of the listed societies).
  774.  
  775. See also the Email Address FAQ posting to the newsgroups soc.college
  776. and soc.net-people.
  777.  
  778. The Artificial Intelligence and Molecular Biology Researchers database
  779. contains names, institutions, addresses, phone, fax, email, 
  780. research interests and other related information about more than 200
  781. researchers worldwide.  The database is available via anonymous ftp from the
  782.    lhc.nlm.nih.gov:/pub/aimb-db/
  783. There are computer- and human-readable versions available.  Get the
  784. README file for more information or send email to Larry Hunter,
  785. <hunter@nlm.nih.gov>.
  786.  
  787. E-mail addresses for members of the Linguistics Society of America
  788. (LSA) are available by anonymous ftp as
  789.    linguistics.archive.umich.edu:/linguistics/LSA.email.list 
  790. or by sending a message to listserv@tamvm1.tamu.edu with 
  791. "get lsa lst linguist" in the message body.
  792.  
  793. A list of "Who's Who in Fuzzy Logic" may be obtained by sending a
  794. message to listserver@vexpert.dbai.tuwien.ac.at with
  795.   GET LISTSERVER WHOISWHOINFUZZY
  796. in the message body. New entries and corrections should be sent to
  797. Robert Fuller <rfuller@finabo.abo.fi>. 
  798.  
  799. WHO's On-Line is a WWW biographical database of folks on the internet. 
  800.    http://www.ictp.trieste.it/Canessa/ENTRIES/entries.html
  801. For more information, contact E. Canessa <canessae@ictp.trieste.it>.
  802.  
  803. The Association for Logic Program (ALP) membership list was published
  804. in the February 1994 issue of the newsletter (Volume 7/1). It will be
  805. made available by anonymous ftp from Imperial College in October 1994.
  806.  
  807. ----------------------------------------------------------------
  808. Subject: [1-5] What are the rules for the game of "Life"?
  809.  
  810. Cellular Automata, of which Life is an example, were suggested by
  811. Stanislaw Ulam in the 1940s, and first formalized by von Neumann.
  812. Conway's "Game of Life" was popularized in Martin Gardner's
  813. mathematical games column in the October 1970 and February 1971 issues
  814. of Scientific American.  (Shorter notes on life are alse given in the
  815. column in each month from October 1970 to April 1971, and well as
  816. November 1971, January 1972, and December 1972.) There's also quite a
  817. bit on the game in "The Recursive Universe", by William Poundstone,
  818. Oxford University Press, 1987, 252 pages.
  819.  
  820. The rules for the game of life are quite simple. The game board is a
  821. rectangular cell array, with each cell either empty or filled. At each
  822. tick of the clock, we generate the next generation by the following rules:
  823.  
  824.         if a cell is empty, fill it if 3 of its neighbors are filled
  825.         (otherwise leave it empty)
  826.  
  827.         if a cell is filled, it
  828.                 dies of loneliness if it has 1 or fewer neighbors
  829.                 continues to live if it has 2 or 3 neighbors
  830.                 dies of overcrowding if it has more than 3 neighbors
  831.  
  832. Neighbors include the cells on the diagonals. Some implementations use
  833. a torus-based array (edges joined top-to-bottom and left-to-right) for
  834. computing neighbors. 
  835.  
  836. For example, a row of 3 filled cells will become a column of 3 filled
  837. cells in the next generation. The R pentomino is an interesting
  838. pattern: 
  839.       xx
  840.      xx
  841.       x
  842. Try it with other patterns of 5 cells initially occupied. If you
  843. record the ages of cells, and map the ages to colors, you can get a
  844. variety of beautiful images.
  845.  
  846. When implementing Life, be sure to maintain separate arrays for the
  847. old and new generation. Updating the array in place will not work
  848. correctly. Another optimization to to maintain a list of the cells
  849. that changed.
  850.  
  851. Conway has demonstrated that it is possible to construct the basic
  852. building blocks of a computer from Life using modified glider guns.
  853. See the last chapter of  
  854.    Elwyn R. Berlekamp, John H. Conway, and Richard K. Guy, "Winning
  855.    Ways", Academic Press, New York, 1982, ISBN 0-120911-507.
  856. for details.
  857.  
  858. Some interesting patterns to use include:
  859.  
  860.                                         *
  861.    *       *      **        *           *         
  862.     **      *     **         *          *            *  *
  863.   **      ***            *   *                       ****
  864.     *                     ****      ***   ***       *    *
  865.                                                     * ** *
  866.  Clock  Glider  Block  Spaceship        *           *    *
  867.                                         *            ****
  868.                                         *
  869.                                    Traffic Light  Cheshire Cat
  870. ----------------------------------------------------------------
  871. Subject: [1-6] What AI competitions exist?
  872.  
  873. The Loebner Prize, based on a fund of over $100,000 established by New
  874. York businessman Hugh G. Loebner, is awarded annually for the computer
  875. program that best emulates natural human behavior. During the
  876. contest, a panel of independent judges attempts to determine whether
  877. the responses on a computer terminal are being produced by a computer
  878. or a person, along the lines of the Turing Test. The designers of the
  879. best program each year win a cash award and a medal. If a program
  880. passes the test in all its particulars, then the entire fund will be
  881. paid to the program's designer and the fund abolished. For further
  882. information about the Loebner Prize, write Dr. Robert Epstein,
  883. Executive Director, Cambridge Center for Behavioral Studies, 11
  884. Waterhouse Street, Cambridge, MA 02138, or call 617-491-9020.
  885.  
  886. The BEAM Robot Olympics is a robot exhibition/competition started in
  887. 1991. For more information about the competition, write to BEAM Robot
  888. Olympics, c/o: Mark W. Tilden, MFCF, University of Waterloo, Ontario,
  889. Canada, N2L-3G1, 519-885-1211 x2454, mwtilden@watmath.uwaterloo.ca.
  890.  
  891. The Gordon Bell Prize competition recognizes outstanding achievements
  892. in the application of parallel processing to practical scientific and
  893. engineering problems. Entries are considered in performance,
  894. price/performance, compiler parallelization and speedup categories,
  895. and a total of $3,000 will be awarded. The prizes are sponsored by
  896. Gordon Bell, a former National Science Foundation division director
  897. who is now an independent consultant.  Contestants should send a
  898. three- or four-page executive summary to 1993 Gordon Bell Prize, 
  899. c/o Marilyn Potes, IEEE Computer Society, 10662 Los Vaqueros Cir., 
  900. PO Box 3014, Los Alamitos, CA 90720-1264, before May 31, 1993.
  901.  
  902. AAAI has an annual robot building competition.  The anonymous FTP site
  903. for the contest is/was 
  904.    aeneas.mit.edu:/pub/ACS/6.270/AAAI/
  905. This site has the manual and the rules.  To be added to the
  906. rbl-94@ai.mit.edu mailing list for discussing the AAAI robot building
  907. contest, send mail to rbl-94-request@ai.mit.edu. See also the 6.270
  908. robot building guide in part 4 of this FAQ.
  909.  
  910. The International Computer Chess Association presents an annual prize
  911. for the best computer-generated annotation of a chess game. The output
  912. should be reminiscent of that appearing in newspaper chess columns,
  913. and will be judged on both the correctness and depth of the variations
  914. and also on the quality of the program's written output. The deadline
  915. is December 31, 1994. For more information, write to Tony Marsland
  916. <tony@cs.ualberta.ca>, ICCA President, Computing Science Department,
  917. University of Alberta, Edmonton, Canada T6G 2H1, call 403-492-3971, or
  918. fax 403-492-1071.
  919.  
  920. ----------------------------------------------------------------
  921. Subject: [1-7] Commercial AI products.
  922.  
  923. Commercial Expert System Shells are listed in the Expert System Shells FAQ.
  924.  
  925. See the Robotics FAQ for information on Robotics manufacturers.
  926.  
  927. Stiquito is a small (3cm H x 7cm W x 6cm L), simple (32 parts) and
  928. inexpensive (< $30) nitinol-propelled hexapod robot developed at the
  929. Indiana University (Bloomington) Robotics Laboratory.  Its legs are
  930. propelled by nitnol actuator wires. Each leg has one degree of freedom.
  931. The robot walks up to 10 centimeters per minute and can carry a 9-volt
  932. cell, a MOSIS "tiny chip" and power transistors to drive the nitinol
  933. actuator wires. Nitinol wire (aka BioMetal, Flexinol), is a nickel-titanium
  934. alloy which exerts useful force as it is heated by passing a current
  935. through it. IUCS Technical Report 363a describes Stiquito's construction
  936. and is available by anonymous ftp from 
  937.    cs.indiana.edu:/pub/stiquito/ [129.79.254.191]
  938. as are many other related files.  The tech report is also
  939. available by US mail for $5 (checks or money orders should be made payable
  940. to "Indiana University") from Computer Science Department, Attn: TR 363a
  941. 215, Lindley Hall, Indiana University, Bloomington, Indiana 47405. A kit
  942. containing all the materials needed to construct a simple version of
  943. Stiquito and its controller is available for an extra $10 from the above
  944. address (use attn line "Stiquito Kit"). To receive a video showing the
  945. assembly of Stiquito, include an additional $10 and add "Video" to the
  946. "Attn:" line.  Anyone may build and use Stiquitos in any quantity for
  947. educational or research purposes, but Indiana University reserves all
  948. rights to commercial applications. Questions about Stiquito should be sent
  949. to Prof. Jonathan W. Mills <stiquito@cs.indiana.edu>. To join the Stiquito
  950. mailing list run by Jon Blow of UC/Berkeley, send mail to
  951. stiquito-request@xcf.berkeley.edu.
  952.  
  953. Togai InfraLogic, Inc. (TIL) is a supplier of fuzzy logic and fuzzy
  954. expert system software and hardware. For more information, write to
  955. Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718, call +1 714
  956. 975 8522, fax +1 714 975 8524, or send email to info@til.com or
  957. til!info.  TIL also supports an email-server that can be reached at
  958. fuzzy-server@til.com or til!fuzzy-server.  Send an email message that
  959. contains just the word "help" in either the subject line or the
  960. message body for more information. A list of products can be obtained
  961. by sending a message that contains only the line "send products.txt"
  962. to the email-server. For an index of the contents of the server, send
  963. a message with the line "send index".
  964.  
  965. The following is from Risks Digest 13.83 -- I have no idea what the software
  966. does, but Colby did head up the PARRY project:
  967.  
  968.   FEELING HELPLESS ABOUT DEPRESSION? Overcoming Depression 2.0 provides
  969.   computer based cognitive therapy for depression with therapeutic
  970.   dialogue in everyday language.  Created by Kenneth Mark Colby, M.D.,
  971.   Professor of Psychiatry and Biobehavioural Sciences, Emeritus, UCLA.
  972.   Personal Version ($199), Professional version ($499).  Malibu
  973.   Artificial Intelligence Works, 25307 Malibu Rd, CA 90265.
  974.   1-800-497-6889.
  975.  
  976. ----------------------------------------------------------------
  977. Subject: [1-8] AI Job Postings
  978.  
  979. The AI-Jobs mailing list exists to help programmers and researchers
  980. find AI programming and research positions, and to help companies with
  981. AI programming and research positions find capable AI programmers and
  982. researchers.
  983.  
  984. Material appropriate for the list includes AI job announcements and
  985. should be sent to ai+ai-jobs@cs.cmu.edu. Resumes should NOT be sent to
  986. the list. 
  987.  
  988. As a matter of policy, the contents of this mailing list is
  989. considered confidential and will not be disclosed to anybody.
  990.  
  991. To subscribe, send a message to ai+query@cs.cmu.edu with
  992.    subscribe ai-jobs <First Name> <Last Name>, <Affiliation/Organization>
  993. in the message body and no Subject line. 
  994.  
  995. Similar lists exist for post-doctoral fellowships (subscribe to AI-POSTDOC)
  996. and pre-doctoral fellowships (subscribe to AI-PREDOC).
  997.  
  998. (If your mailer objects to the "+", send subscription requests to
  999. "ai+query"@cs.cmu.edu, job announcements to "ai+ai-jobs"@cs.cmu.edu, etc.)
  1000.  
  1001. For help on using the query server, send mail to ai+query@cs.cmu.edu with
  1002.    help
  1003. in the message body and no Subject line.
  1004.  
  1005. If you have any other questions, please send them to ai+@cs.cmu.edu
  1006.  
  1007. ----------------------------------------------------------------
  1008.  
  1009. ;;; *EOF*
  1010.  
  1011.